搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Using structured design : how to make programs simple, changeable, flexible, and reusable 0 索取号：TP302/E9033 作者：Stevens、 Wayne P.、 1944-、出版社：New York : Wiley, 1981.		Workload characterization of computer systems and computer networks : collection of invited lectures presented at the International Workshop on Workload Characterization of Computer Systems and Computer Networks, Pavia Italy, 23-25 October 1985 0 索取号：TP302/E9021 作者：International Workshop on Workload Characterization of Computer Systems and Computer Networks (1985 : Pavia、 Italy)、Serazzi、 Guiseppe.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
	Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981 0 索取号：O24-53/E803/13 作者：ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、出版社：New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.		Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 0 索取号：TP312-53/E901/1979 作者：Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、出版社：Berlin ; New York : Springer-Verlag, 1980.
	Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 0 索取号：TP317-53/E801/1976 作者：Workshop on the Portability of Numerical Software、 Oak Brook、 Ill.、 1976.、Cowell、 Wayne R.、 1926-、Argonne National Laboratory.、出版社：Berlin ; New York : Springer-Verlag, 1977.		Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca 0 索取号：TP312/E8014 作者：出版社：Berlin ; New York : Springer-Verlag, 1977.
	Proceedings of the 1983 Symposium on Security and Privacy, April 25-27, 1983, Oakland, California 0 索取号：TP3-53/E9035/1983 作者：Symposium on Security and Privacy (1983 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press, 1983,c1984.		Parallel algorithms & architectures : proceedings of the International Workshop on Parallel Algorithms & Architectures, Centre National de Rencontres Math́Еmatiques, Luminy, France, 14-18 April, 1986 0 索取号：TP3-53/E9024/1986 作者：International Workshop on Parallel Algorithms & Architectures (1st : 1986 : Centre national de rencontres math́Еmatiques)、Cosnard、 M. (Michel)、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
	Operating systems : theory and practice : proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978 0 索取号：TP3-53/E8017/2 作者：International Symposium on Operating Systems Theory and Practice、 2d、 Rocquencourt、 France、 1978.、Lanciaux、 D.、Institut de recherche d'informatique et d'automatique.、Carnegie-Mellon University.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.		Modelling and performance evaluation methodology : proceedings of the international seminar, Paris, France, January 24-26, 1983 0 索取号：TP3-53/E9026 作者：出版社：Berlin ; New York : Springer-Verlag, 1984.
	Intellectual leverage for the information society : digest of papers, Compcon Spring 83, Twenty-sixth IEEE Computer Society International Conference, Cathedral Hill Hotel (formerly Jack Tar), San Francisco, California, February 28-March 3 0 索取号：TP3-53/E9033/26 作者：Compcon (26th : 1983 : San Francisco、 Calif.)、IEEE Computer Society.、出版社：New York, NY : IEEE Computer Society ; Los Angeles, CA : Available from IEEE Computer Society ; Piscataway, NJ : Available from IEEE Service Center, 1984,c1983.		Safety of computer control systems : proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 0 索取号：TP3-53/E9038/1979 作者：出版社：Oxford ; New York : Pergamon Published for the International Federation of Automatic Control by Pergamon Press, 1980.
	Proceedings : sixth annual MICRO-DELCON '83 0 索取号：TP3-53/E9040/6 作者：Delaware Bay Computer Conference (6th : 1983 : University of Delaware)、IEEE Computer Society. Delaware Bay Section.、出版社：Silver Springs, MD : IEEE Computer Society Press, c1983.		1983 conference proceedings 0 索取号：TN91-53/E9014/2 作者：Phoenix Conference on Computers and Communications (2nd : 1983)、Institute of Electrical and Electronics Engineers.、IEEE Computer Society.、IEEE Communications Society.、出版社：N.Y. Silver Spring, MD (1109 Spring St., Silver Spring 20910) : IEEE Computer Society Press, 1983.
	Proceedings 0 索取号：TP3-53/E997/6 作者：Symposium on Computer Arithmetic (6th : 1983 : Aarhus University)、IEEE Computer Society. Technical Committee on Computer Architecture.、Aarhus universitet.、出版社：N.Y. Silver Spring, Md. : IEEE Computer Society Press, 1983.		Proceedings 0 索取号：TP3-53/E997/5 作者：Symposium on Computer Arithmetic (5th : 1981 : University of Michigan)、IEEE Computer Society. Technical Committee on Computer Architecture.、University of Michigan.、出版社：N.Y. Los Angeles, CA : The Society ; Piscataway, N.J. : IEEE Service Center, 1981.

	Using structured design : how to make programs simple, changeable, flexible, and reusable 0 索取号：TP302/E9033 作者：Stevens、 Wayne P.、 1944-、出版社：New York : Wiley, 1981.		Workload characterization of computer systems and computer networks : collection of invited lectures presented at the International Workshop on Workload Characterization of Computer Systems and Computer Networks, Pavia Italy, 23-25 October 1985 0 索取号：TP302/E9021 作者：International Workshop on Workload Characterization of Computer Systems and Computer Networks (1985 : Pavia、 Italy)、Serazzi、 Guiseppe.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
	Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981 0 索取号：O24-53/E803/13 作者：ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、出版社：New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.		Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 0 索取号：TP312-53/E901/1979 作者：Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、出版社：Berlin ; New York : Springer-Verlag, 1980.
	Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 0 索取号：TP317-53/E801/1976 作者：Workshop on the Portability of Numerical Software、 Oak Brook、 Ill.、 1976.、Cowell、 Wayne R.、 1926-、Argonne National Laboratory.、出版社：Berlin ; New York : Springer-Verlag, 1977.		Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca 0 索取号：TP312/E8014 作者：出版社：Berlin ; New York : Springer-Verlag, 1977.
	Proceedings of the 1983 Symposium on Security and Privacy, April 25-27, 1983, Oakland, California 0 索取号：TP3-53/E9035/1983 作者：Symposium on Security and Privacy (1983 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press, 1983,c1984.		Parallel algorithms & architectures : proceedings of the International Workshop on Parallel Algorithms & Architectures, Centre National de Rencontres Math́Еmatiques, Luminy, France, 14-18 April, 1986 0 索取号：TP3-53/E9024/1986 作者：International Workshop on Parallel Algorithms & Architectures (1st : 1986 : Centre national de rencontres math́Еmatiques)、Cosnard、 M. (Michel)、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
	Operating systems : theory and practice : proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978 0 索取号：TP3-53/E8017/2 作者：International Symposium on Operating Systems Theory and Practice、 2d、 Rocquencourt、 France、 1978.、Lanciaux、 D.、Institut de recherche d'informatique et d'automatique.、Carnegie-Mellon University.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.		Modelling and performance evaluation methodology : proceedings of the international seminar, Paris, France, January 24-26, 1983 0 索取号：TP3-53/E9026 作者：出版社：Berlin ; New York : Springer-Verlag, 1984.
	Intellectual leverage for the information society : digest of papers, Compcon Spring 83, Twenty-sixth IEEE Computer Society International Conference, Cathedral Hill Hotel (formerly Jack Tar), San Francisco, California, February 28-March 3 0 索取号：TP3-53/E9033/26 作者：Compcon (26th : 1983 : San Francisco、 Calif.)、IEEE Computer Society.、出版社：New York, NY : IEEE Computer Society ; Los Angeles, CA : Available from IEEE Computer Society ; Piscataway, NJ : Available from IEEE Service Center, 1984,c1983.		Safety of computer control systems : proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 0 索取号：TP3-53/E9038/1979 作者：出版社：Oxford ; New York : Pergamon Published for the International Federation of Automatic Control by Pergamon Press, 1980.
	Proceedings : sixth annual MICRO-DELCON '83 0 索取号：TP3-53/E9040/6 作者：Delaware Bay Computer Conference (6th : 1983 : University of Delaware)、IEEE Computer Society. Delaware Bay Section.、出版社：Silver Springs, MD : IEEE Computer Society Press, c1983.		1983 conference proceedings 0 索取号：TN91-53/E9014/2 作者：Phoenix Conference on Computers and Communications (2nd : 1983)、Institute of Electrical and Electronics Engineers.、IEEE Computer Society.、IEEE Communications Society.、出版社：N.Y. Silver Spring, MD (1109 Spring St., Silver Spring 20910) : IEEE Computer Society Press, 1983.
	Proceedings 0 索取号：TP3-53/E997/6 作者：Symposium on Computer Arithmetic (6th : 1983 : Aarhus University)、IEEE Computer Society. Technical Committee on Computer Architecture.、Aarhus universitet.、出版社：N.Y. Silver Spring, Md. : IEEE Computer Society Press, 1983.		Proceedings 0 索取号：TP3-53/E997/5 作者：Symposium on Computer Arithmetic (5th : 1981 : University of Michigan)、IEEE Computer Society. Technical Committee on Computer Architecture.、University of Michigan.、出版社：N.Y. Los Angeles, CA : The Society ; Piscataway, N.J. : IEEE Service Center, 1981.